• Refine your search:
  • 
    Keyword
  • 
    Creator / Publisher
  • 
    Year:
    
    • 2021 (2)
    • 2020 (4)
    • 2019 (3)
    • 2017 (3)
    • 2016 (2)
    • 2015 (3)
    • 2014 (1)
    • 2013 (2)
    • 2012 (6)
    • 2011 (7)
    •   more
  • 
    Medium
  • 
    Type
  • 
    BLLDB-Access:
    • free (51)
    • subject to license (1)

Search in the Catalogues and Directories

All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year AND OR AND NOT All fields Title Creator / Publisher Keyword Year Sort by creator [A → Z]' creator [Z → A]' publishing year ↑ (asc)' publishing year ↓ (desc)' title [A → Z]' title [Z → A]' Simple Search Page: 1 2 3 Hits 1 – 20 of 51 1 Type-logical investigations: proof-theoretic, computational and linguistic aspects of modern type-logical grammars Moot, Richard. - : HAL CCSD, 2021 In: https://hal-lirmm.ccsd.cnrs.fr/tel-03452731 ; Computation and Language [cs.CL]. Université Montpellier, 2021 (2021) BASE Show details 2 Logical foundations for hybrid type-logical grammars Moot, Richard; Stevens-Guille, Symon Jory In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02944393 ; Journal of Logic, Language and Information, Springer Verlag, In press (2021) BASE Show details 3 Neural Proof Nets Kogkalidis, Konstantinos; Moortgat, Michael; Moot, Richard In: CoNLL 2020 - 24th Conference on Computational Natural Language Learning ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02952267 ; CoNLL 2020 - 24th Conference on Computational Natural Language Learning, Nov 2020, Virtual, Dominican Republic. pp.26-40, ⟨10.18653/v1/2020.conll-1.3⟩ ; https://www.conll.org/ (2020) BASE Show details 4 Proof-theoretic aspects of NLλ Moot, Richard In: https://hal-lirmm.ccsd.cnrs.fr/lirmm-02973980 ; 2020 (2020) BASE Show details 5 Partial Orders, Residuation, and First-Order Linear Logic ... Moot, Richard. - : arXiv, 2020 BASE Show details 6 Proof-theoretic aspects of NL$λ$ ... Moot, Richard. - : arXiv, 2020 BASE Show details 7 A computational account of virtual travelers in the Montagovian generative lexicon Lefeuvre-Halftermeyer, Anaïs; Moot, Richard; Retoré, Christian In: The Semantics of Dynamic Space in French ; https://hal.archives-ouvertes.fr/hal-02093536 ; Michel Aurnague; Dejan Stosic. The Semantics of Dynamic Space in French, John Benjamins, pp.407-450, 2019, Part IV. Formal and computational aspects of motion-based narrations, 9789027203205. ⟨10.1075/hcp.66.09lef⟩ ; https://benjamins.com/catalog/hcp.66.09lef (2019) BASE Show details 8 Natural Language Semantics and Computability Moot, Richard; Retoré, Christian In: ISSN: 0925-8531 ; EISSN: 1572-9583 ; Journal of Logic, Language and Information ; https://hal.inria.fr/hal-01315316 ; Journal of Logic, Language and Information, Springer Verlag, 2019, 28 (2), pp.287-307. ⟨10.1007/s10849-019-09290-7⟩ (2019) BASE Show details 9 Deductive Parsing with an Unbounded Type Lexicon Kogkalidis, Konstantinos; Moortgat, Michael; Moot, Richard... In: 3rd Workshop on Semantic Spaces at the Intersection of NLP, Physics, and Cognitive Science ; SEMSPACE ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-02313572 ; SEMSPACE, Aug 2019, Riga, Latvia (2019) BASE Show details 10 Collecting Weighted Coercions from Crowd-Sourced Lexical Data for Compositional Semantic Analysis Lafourcade, Mathieu; Mery, Bruno; Mirzapour, Mehdi... In: JSAI-isAI Workshops, JURISIN, SKL, AI-Biz, LENLS, AAA, SCIDOCA, kNeXI, Tsukuba, Tokyo, November 13-15, 2017, Revised Selected Papers ; JSAI-isAI Workshops ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916209 ; JSAI-isAI Workshops, Nov 2017, Tokyo, Japan. pp.214-230, ⟨10.1007/978-3-319-93794-6_15⟩ ; https://www.ai-gakkai.or.jp/isai/isai2017 (2017) BASE Show details 11 Collecting Crowd-Sourced Lexical Coercions for Compositional Semantic Analysis Lafourcade, Mathieu; Mery, Bruno; Mirzapour, Mehdi... In: 14th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01916195 ; LENLS: Logic and Engineering of Natural Language Semantics, Nov 2017, Tokyo, Japan ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls14/index.html (2017) BASE Show details 12 The Grail Theorem Prover: Type Theory for Syntax and Semantics Moot, Richard In: Modern Perspectives in Type-Theoretical Semantics ; https://hal-lirmm.ccsd.cnrs.fr/lirmm-01471644 ; Zhaohui Luo; Stergios Chatzikyriakidis. Modern Perspectives in Type-Theoretical Semantics, Studies in Linguistics and Philosophy (98), Springer, pp.247-277, 2017, Part III, 978-3-319-50420-9. ⟨10.1007/978-3-319-50422-3_10⟩ (2017) BASE Show details 13 Natural Language Semantics and Computability ... Moot, Richard; Retoré, Christian. - : arXiv, 2016 BASE Show details 14 The Grail theorem prover: Type theory for syntax and semantics ... Moot, Richard. - : arXiv, 2016 BASE Show details 15 Typed Hilbert Operators for the Lexical Semantics of Singular and Plural Determiner Phrases Mery, Bruno; Moot, Richard; Retoré, Christian In: Workshop on Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics ; Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics ; https://hal.inria.fr/hal-01214439 ; Epsilon: Hilbert’s Epsilon and Tau in Logic, Informatics and Linguistics, Christian Retoré; Stergios Chatzikyriakidis; Fabio Pasquali, Aug 2015, Montpellier, France ; https://sites.google.com/site/epsilon2015workshop/ (2015) BASE Show details 16 Comparing and evaluating extended Lambek calculi Moot, Richard In: Empirical advances in categorial grammars ; https://hal.archives-ouvertes.fr/hal-01164670 ; Empirical advances in categorial grammars, Yusuke Kubota and Robert Levine, Aug 2015, Barcelona, Spain (2015) BASE Show details 17 Comparing and evaluating extended Lambek calculi ... Moot, Richard. - : arXiv, 2015 BASE Show details 18 Computing the Semantics of Plurals and Massive Entities Using Many-Sorted Types Mery, Bruno; Moot, Richard; Retoré, Christian In: 11th International Workshop on Logic and Engineering of Natural Language Semantics @ JSAI International Symposia on AI (isAI2017) - Revised Selected Papers ; LENLS: Logic and Engineering of Natural Language Semantics ; https://hal.inria.fr/hal-01098748 ; LENLS: Logic and Engineering of Natural Language Semantics, JSAI / isAI, Nov 2014, Kanagawa, Japan. pp.144-159, ⟨10.1007/978-3-662-48119-6_11⟩ ; http://www.is.ocha.ac.jp/~bekki/lenls/lenls11/index.html (2014) BASE Show details 19 Note de lecture sur "Discourse processing" de Manfred Stede Retoré, Christian; Moot, Richard In: ISSN: 1248-9433 ; EISSN: 1965-0906 ; Revue TAL ; https://hal.archives-ouvertes.fr/hal-00820178 ; Revue TAL, ATALA (Association pour le Traitement Automatique des Langues), 2013, 53 (2), pp.214--217 (2013) BASE Show details 20 Plurals: individuals and sets in a richly typed semantics Mery, Bruno; Moot, Richard; Retoré, Christian In: LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013 ; https://hal.inria.fr/hal-00923556 ; LENSL'10 - 10th Workshop on Logic and Engineering of Natural Semantics of Language, Japanese Symposium for Artifitial Intelligence, International Society for AI - 2013, jSAI-ISAI, Oct 2013, Hiyoshi, Kanagawa, Japan. pp.143-156 (2013) BASE Show details Page: 1 2 3

Mobile view All Catalogues UB Frankfurt Linguistik 3 IDS Mannheim 0 OLC Linguistik 1 UB Frankfurt Retrokatalog 0 DNB Subject Category Language 0 Institut für Empirische Sprachwissenschaft 0 Leibniz-Centre General Linguistics (ZAS) 1 Bibliographies BLLDB 4 BDSL 0 IDS Bibliografie zur deutschen Grammatik 0 IDS Bibliografie zur Gesprächsforschung 0 IDS Konnektoren im Deutschen 0 IDS Präpositionen im Deutschen 0 IDS OBELEX meta 0 MPI-SHH Linguistics Collection 0 MPI for Psycholinguistics 0 Linked Open Data catalogues Annohub 0 Online resources Link directory 0 Journal directory 0 Database directory 0 Dictionary directory 0 Open access documents BASE 44 Linguistik-Repository 0 IDS Publikationsserver 0 Online dissertations 0 Language Description Heritage 0